#include "cpu/exec/helper.h" 

make_helper(leave) {
	cpu.esp=cpu.ebp;
	cpu.ebp=swaddr_read(cpu.esp,4);
	cpu.esp+=4;
	print_asm("leave");
	return 1;
}
